| |
|
|
| Registros recuperados : 52 | |
| 7. |  | GRYNBERG, P.; GUIMARÃES, L. A.; COSTA, M. M. do C.; TOGAWA, R. C.; BRASILEIRO, A. C. M.; GUIMARAES, P. M. Comprehensive profiling and characterization of Arachis stenosperma (peanut) and Meloidogyne arenaria (plant-root nematode) small-RNAs identified during the course of the infection. In: INTERNATIONAL CONFERENCE OF THE AB3C, 13., 2017, São Pedro. Proceedings... [S.l.]: AB3C, 2017. p. 170| Biblioteca(s): Embrapa Recursos Genéticos e Biotecnologia. |
|    |
| 10. | | SALGADO, F. F.; LEAO, A. P.; GRYNBERG, P.; COSTA, M. M. do C.; TOGAWA, R. C.; SOUSA, C. A. F. de; SOUZA JUNIOR, M. T. Prediction and annotation of miRNAs and the preponderant role of transcription factors in the response of Elaeis guineensis Jacq to abiotic stresses of drought and salinity. In: BRAZILIAN SYMPOSIUM ON BIOINFOMATICS (BSB 2023), 16., 2023, Curitiba, PR. [Proceedings...]. Porto Alegre, RS: Sociedade Brasileira de Computação, 2023.| Biblioteca(s): Embrapa Recursos Genéticos e Biotecnologia. |
| |
| 11. | | GOMES, T. G.; ALVES, G. S. C.; HADI, S. I. I. A.; COSTA, M. M. do C.; MENDONCA, S.; MILLER, R. N. G.; SIQUEIRA, F. G. de. Expressão diferencial de genes em Pleurotus pulmonarius associados a degradação enzimática e destoxificação da torta de pinhão-manso. In: ENCONTRO DE PESQUISA E INOVAÇÃO DA EMBRAPA AGROENERGIA, 5., 2018, Brasília, DF. Anais ... Brasília, DF: Embrapa Agroenergia, 2018. p. 18.| Biblioteca(s): Embrapa Agroenergia. |
|  |
| 12. | | BERGMANN, J. C.; COSTA, M. M. do C.; JUNIOR, P. G. J.; BARRETO, C. C.; KRUGER, R. H.; QUIRINO, B. F. Soil bacterial community structure associated with oil palm (Elaeis guineensis) fatal yellowing disease. In: SYMPOSIUM ON BIOTECHNOLOGY FOR FUELS AND CHEMICALS, 36., 2014, Flórida. Abstracts... Fairfax: Society for Industrial Microbiology and Biotechnology, 2014.| Biblioteca(s): Embrapa Agroenergia. |
| |
| 13. | | ANDRADE, E. L. P. de; LOPES JUNIOR, S.; COSTA, M. M. do C.; RAMOS, R. G. C.; FARIAS, J. L. S.; SILVA, A. M. D.; PROCOPIO, C. D. Utilização de tecnologia orientada a objetos no desenvolvimento de sistemas de informação corporativos na Embrapa. In: TURAZI, A. (Ed.). O recurso tecnologia da informação em uma instituição de pesquisa agropecuária: de 1974 a 2000. Brasília, DF: Embrapa Comunicação para Transferência de Tecnologia, 2001. p. 195-224.| Biblioteca(s): Embrapa Arroz e Feijão. |
| |
| 14. | | FALCAO, L. L.; WERNECK, J. O. S.; TOGAWA, R. C.; COSTA, M. M. do C.; GRYNBERG, P.; SILVA JUNIOR, O. B. da; ALVES, R. M.; ALBUQUERQUE, P. S. B.; MARCELLINO, L. H. Analyses of cupuassu (Theobroma grandiflorum) transcriptome during interaction with Moniliophthora perniciosa, the causal agent of Witches' Broom disease. In: BRAZILIAN BIOTECHNOLOGY CONGRESS, 7.; BIOTECHNOLOGY IBERO-AMERICAN CONGRESS, 2., 2018, Brasília, DF. Proceedings... Brasília, DF: SBBiotec, 2018.| Biblioteca(s): Embrapa Recursos Genéticos e Biotecnologia. |
| |
| 15. | | FALCAO, L. L.; WERNECK, J. O. S.; TOGAWA, R. C.; COSTA, M. M. do C.; GRYNBERG, P.; SILVA JUNIOR, O. B. da; ALVES, R. M.; ALBUQUERQUE, P. S. B.; MARCELLINO, L. H. Analyses of cupuassu (Theobroma grandiflorum) transcriptome during interaction with Moniliophthora perniciosa, the causal agent of Witches' Broom disease. In: BRAZILIAN BIOTECHNOLOGY CONGRESS, 7.; BIOTECHNOLOGY IBERO-AMERICAN CONGRESS, 2., 2018, Brasília, DF. Proceedings... Brasília, DF: SBBiotec, 2018.| Biblioteca(s): Embrapa Amazônia Oriental. |
| |
| 16. | | MÜLLER, B. S. de F.; SAKAMOTO, T.; SILVEIRA, R. D. D.; ZAMBUSSI-CARVALHO, P. F.; PEREIRA, M.; PAPPAS JUNIOR, G. J.; COSTA, M. M. do C.; GUIMARÃES, C. M.; PEREIRA, W. J.; BRONDANI, C.; VIANELLO-BRONDANI, R. P. Differentially expressed genes during flowering and grain filling in common bean (Phaseolus vulgaris) grown under drought stress conditions. Plant Molecular Biology Reporter, Athens, v. 32, p. 438-451, 2014.| Biblioteca(s): Embrapa Arroz e Feijão; Embrapa Recursos Genéticos e Biotecnologia. |
| |
| 17. | | SALGADO, F. F.; SILVA, T. L. C. da; VIEIRA, L. R.; SILVA, V. N. B.; LEAO, A. P.; COSTA, M. M. do C.; TOGAWA, R. C.; SOUSA, C. A. F. de; GRYNBERG, P.; SOUZA JUNIOR, M. T. The early response of oil palm (Elaeis guineensis Jacq.) plants to water deprivation: Expression analysis of miRNAs and their putative target genes, and similarities with the response to salinity stress. Frontiers in Plant Science, n. 13, 970113, 2022.| Biblioteca(s): Embrapa Agroenergia; Embrapa Meio-Norte; Embrapa Recursos Genéticos e Biotecnologia. |
| |
| 18. | | CASTAÑEDA, N. E. N.; ALVES, G. S. C.; ALMEIDA, R. M.; AMORIM, E. P.; FERREIRA, C. F.; TOGAWA, R. C.; COSTA, M. M. do C.; GRYNBERG, P.; SANTOS, J. R. P.; CARES, J. E.; MILLER, R. N. G. Gene expression analysis in Musa acuminata during compatible interactions with Meloidogyne incognita. Annals of Botany, v. 119, p. 915-930, 2017.| Biblioteca(s): Embrapa Mandioca e Fruticultura; Embrapa Recursos Genéticos e Biotecnologia. |
| |
| 19. | | GARIGHAN, J.; DVORAK, E.; ESTEVAN, J.; LORIDON, K.; HUETTEL, B.; SARAH, G.; FARRERA, I.; LECLERCQ, J.; GRYNBERG, P.; TOGAWA, R. C.; COSTA, M. M. do C.; COSTES, E.; ANDRÉS, F. The identification of small RNAs differentially expressed in apple buds reveals a ootential role of the Mir159-MYB regulatory module during dormancy. Plants, v. 10, 2665, 2021.| Biblioteca(s): Embrapa Recursos Genéticos e Biotecnologia. |
| |
| 20. | | MICHEREFF, M. F. F.; GRYNBERG, P.; TOGAWA, R. C.; COSTA, M. M. do C.; LAUMANN, R. A.; ZHOU, J.-J.; SCHIMMELPFENG, P. H. C.; BORGES, M.; PICKETT, J. A.; BIRKETT, M. A.; MORAES, M. C. B. Priming of indirect defence responses in maize is shown to be genotype-specific. Arthropod-Plant Interactions, v. 15, p. 313-328, 2021. Na publicação: Marcos M. C. Costa; Maria Carolina Blassioli-Moraes.| Biblioteca(s): Embrapa Recursos Genéticos e Biotecnologia. |
| |
| Registros recuperados : 52 | |
|
|
|
 | Acesso ao texto completo restrito à biblioteca da Embrapa Unidades Centrais. Para informações adicionais entre em contato com biblioteca@embrapa.br. |
Registro Completo
|
Biblioteca(s): |
Embrapa Unidades Centrais. |
|
Data corrente: |
31/03/1997 |
|
Data da última atualização: |
12/12/2007 |
|
Autoria: |
COSTA, M. M. do C. |
|
Afiliação: |
EMBRAPA-DIN. |
|
Título: |
Characterization of modal [action] logic. |
|
Ano de publicação: |
1990 |
|
Fonte/Imprenta: |
Londres: University of London, 1990 |
|
Páginas: |
257p. |
|
Idioma: |
Inglês |
|
Notas: |
Tese Doutorado. |
|
Conteúdo: |
The purpose of this thesis is to provide adequate conditions of provability- the so called characterization problem- for the modal [action] logic (M[A]L). M[A]L is a formal system to support formal requirements specification of real time/embedded systems designed and used by the FOREST project of the alvey software engineering directorate. The characterization problem is to be dealt with using two basic approaches: possible world structures on the semantics level and the semantic tableaux on the proof level.The development of the work follows the paradigm of starting with a more simple logic, the propositional M[A]L, and gradually adding components such as quantification, deontic operators, sorts and others. The use of formal systems is the central idea for the support of mechanized deduction in computer science. Modal and temporal logics may have a considerable role, but different areas of application use various combinations of quantification and modalities, and can lead to a generation of new logics (such as M[A]L). The result of this enterprise will depend heavily on the existence of suitable methods for providing adequate and efficient proof procedures for these formalisms. Traditionally, the semantic tableau method is considered to be very intuitive: so that one could start reasoning in terms of tableau and then extend the results to another system with different characteristics. In this thesis we affirm this tradition and we formulate evidences for its efficiency as well. This thesis constitutes... MenosThe purpose of this thesis is to provide adequate conditions of provability- the so called characterization problem- for the modal [action] logic (M[A]L). M[A]L is a formal system to support formal requirements specification of real time/embedded systems designed and used by the FOREST project of the alvey software engineering directorate. The characterization problem is to be dealt with using two basic approaches: possible world structures on the semantics level and the semantic tableaux on the proof level.The development of the work follows the paradigm of starting with a more simple logic, the propositional M[A]L, and gradually adding components such as quantification, deontic operators, sorts and others. The use of formal systems is the central idea for the support of mechanized deduction in computer science. Modal and temporal logics may have a considerable role, but different areas of application use various combinations of quantification and modalities, and can lead to a generation of new logics (such as M[A]L). The result of this enterprise will depend heavily on the existence of suitable methods for providing adequate and efficient proof procedures for these formalisms. Traditionally, the semantic tableau method is considered to be very intuitive: so that one could start reasoning in terms of tableau and then extend the results to another system with different characteristics. In this thesis we affirm this tradition and we formulate evidences for its efficiency as... Mostrar Tudo |
|
Palavras-Chave: |
Data processing; Lógica Modal; Lógica Temporal; Processamento de Dados; Real time; Tempo Real. |
|
Categoria do assunto: |
-- |
|
Marc: |
LEADER 02057nam a2200205 a 4500
001 1087266
005 2007-12-12
008 1990 bl uuuu m 00u1 u #d
100 1 $aCOSTA, M. M. do C.
245 $aCharacterization of modal [action] logic.
260 $aLondres: University of London$c1990
300 $a257p.
500 $aTese Doutorado.
520 $aThe purpose of this thesis is to provide adequate conditions of provability- the so called characterization problem- for the modal [action] logic (M[A]L). M[A]L is a formal system to support formal requirements specification of real time/embedded systems designed and used by the FOREST project of the alvey software engineering directorate. The characterization problem is to be dealt with using two basic approaches: possible world structures on the semantics level and the semantic tableaux on the proof level.The development of the work follows the paradigm of starting with a more simple logic, the propositional M[A]L, and gradually adding components such as quantification, deontic operators, sorts and others. The use of formal systems is the central idea for the support of mechanized deduction in computer science. Modal and temporal logics may have a considerable role, but different areas of application use various combinations of quantification and modalities, and can lead to a generation of new logics (such as M[A]L). The result of this enterprise will depend heavily on the existence of suitable methods for providing adequate and efficient proof procedures for these formalisms. Traditionally, the semantic tableau method is considered to be very intuitive: so that one could start reasoning in terms of tableau and then extend the results to another system with different characteristics. In this thesis we affirm this tradition and we formulate evidences for its efficiency as well. This thesis constitutes...
653 $aData processing
653 $aLógica Modal
653 $aLógica Temporal
653 $aProcessamento de Dados
653 $aReal time
653 $aTempo Real
Download
Esconder MarcMostrar Marc Completo |
|
Registro original: |
Embrapa Unidades Centrais (AI-SEDE) |
|
|
Biblioteca |
ID |
Origem |
Tipo/Formato |
Classificação |
Cutter |
Registro |
Volume |
Status |
Fechar
|
| Nenhum registro encontrado para a expressão de busca informada. |
|
|
